|
In combinatorial mathematics and extremal set theory, the Sauer–Shelah lemma states that every family of sets with small VC dimension consists of a small number of sets. It is named after Norbert Sauer and Saharon Shelah, who published it independently of each other in 1972.〔.〕〔.〕 The same result was also published slightly earlier and again independently, by Vladimir Vapnik and Alexey Chervonenkis, after whom the VC dimension is named.〔.〕 In his paper containing the lemma, Shelah gives credit also to Micha Perles, and for this reason the lemma has also been called the Perles–Sauer–Shelah lemma.〔.〕 Buzaglo et al. call this lemma "one of the most fundamental results on VC-dimension",〔 and it has applications in many areas. Sauer's motivation was in the combinatorics of set systems, while Shelah's was in model theory and that of Vapnik and Chervonenkis was in statistics. It has also been applied in discrete geometry〔.〕 and graph theory.〔.〕 ==Definitions and statement== If is a family of sets, and is another set, then is said to be shattered by if every subset of (including the empty set and itself) can be obtained as an intersection between and a set in the family. The VC dimension of is the largest cardinality of a set shattered by . In terms of these definitions, the Sauer–Shelah lemma states that if is a family of sets with distinct elements such that , then shatters a set of size . Equivalently, if the VC dimension of is , then can consist of at most sets. The bound of the lemma is tight: there exists a family with that does not shatter any set of size . Namely, let be the family of all subsets of that have cardinality less than .〔.〕 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Sauer–Shelah lemma」の詳細全文を読む スポンサード リンク
|